beta-cat<c.a.> BcatGOF Ctnnb1<f(Ex3)> Catnb<(ex3)fl> beta-catenin/loxP(ex3) Ctnnb1<(Ex3)fl> beta-cat<gof> Ctnnb1<ex3> No functional change|Conditional ready http://identifiers.org/mgd/MGI:1858008 beta-cat<act> GOF beta-cat<ex3> beta-catenin<lox-ex3> Ctnnb1<iGOF> Catnb<lox(ex3)> Catnb<tm1Tak> Catnb<(Flox3> Ctnnb<lox(ex3)> beta-catenin<loxEx3> Ctnnb1<lox(ex3)> Ctnnb<llox(ex3)> Ctnnb1<flx(ex3)> B-catenin<fl3> MGI:1858008 beta-catenin<deltaex3> targeted mutation 1, Makoto M Taketo Ctnnb1<tm1Mmt> beta-cat<loxEx3>